$\forall$$A$, $B$:$\mathbb{P}$. ($A$ $\Leftarrow\!$ $B$) $\in$ $\mathbb{P}$